Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (editors)
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |